Propositions as tasks